_require local "../../../../basis.smi"

_require local "../../../extensions/debug/main/Bug.smi"
_require local "../../../libs/ids/main/LocalID.smi"
_require local "../../../data/symbols/main/RecordLabel.smi"
_require local "../../../libs/list-utils/main/utils.smi"
_require local "../../../compilerIRs/absyn/main/AbsynConst.smi"
_require local "../../../data/runtimetypes/main/FFIAttributes.ppg.smi"
_require local "../../../data/types/main/Types.ppg.smi"
_require local "../../../compilerIRs/patterncalc/main/PatternCalc.ppg.smi"
_require "../../../compilerIRs/typedcalc/main/TypedCalc.ppg.smi"
_require local "../../../compilerIRs/typedcalc/main/TypedCalcUtils.smi"
_require local "../../../compilerIRs/typedcalc/main/TypedCalcCon.smi"
_require local "../../../data/builtin/main/BuiltinTypes.smi"
_require local "../../../data/builtin/main/BuiltinPrimitive.ppg.smi"
_require local "../../../extensions/userlevelprimitive/main/UserLevelPrimitive.smi"
_require local "../../../extensions/reflection/main/ReifiedTyData.smi"
_require local "../../../extensions/reflection/main/ReifyUtils.smi"

structure FFICompilation =
struct
  val compile : TypedCalc.tpdecl list -> TypedCalc.tpdecl list
end
